(* Literals *)
[];; (* The empty list *)
[1];; (* A singleton list *)
[42; 16];; (* A list of two integers *)

(* cons: Put something at the beginning 列表添加 *)
7 :: [5; 3];; (* Gives [7; 5; 3] *)
[1; 2] :: [3; 4];; (* BAD: type error *)

(* concat: Append a list to the end of another 列表拼接*)
[1; 2] @ [3; 4];; (* Gives [1; 2; 3; 4] *)

(*提取列表的第一个条目和剩余条目*)
(* Extract first entry and remainder of a list *)
List.hd [42; 17; 28];; (* = 42 *)
// head 
List.tl [42; 17; 28];; (* = [17; 28] *)
// tail 
//F# 
// List.head List.tail